منابع مشابه
Mathematics Is Imprecise
We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. This experience report on the use of Racket and Haskell to teach a required first university CS course to students with very good mathematical skills focusses on the ways that programming forces one to get the details right, with consequent benefits in the m...
متن کاملImprecise singing is widespread.
There has been a recent surge of research on the topic of poor-pitch singing. However, this research has not addressed an important distinction in measurement: that between accuracy and precision. With respect to singing, accuracy refers to the average difference between sung and target pitches. Precision, by contrast, refers to the consistency of repeated attempts to produce a pitch. A group o...
متن کاملHow imprecise is neuronal synchronization?
We investigate the contribution of single cells to collective gamma-oscillations in a network of spiking neurons subject to an inhibitory activity control. In contrast to many earlier studies emphasizing a high precision in spike timing, cell ring is rather unreliable in our model. Nonetheless, we qualitatively reproduce many experimental ndings, some of them previously unexplored in modeling s...
متن کاملComputable Randomness is Inherently Imprecise
We use the martingale-theoretic approach of game-theoretic probability to incorporate imprecision into the study of randomness. In particular, we define a notion of computable randomness associated with interval, rather than precise, forecasting systems, and study its properties. The richer mathematical structure that thus arises lets us better understand and place existing results for the prec...
متن کاملVPM: Mathematics of Metamodeling is Metamodeling Mathematics
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a well–founded mapping from UML models to different semantic domains (Petri nets, Kripke aut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.106.3